Denney, Ewen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The Role of Safety Architectures in Aviation Safety Cases

Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Journal:

Reliability Engineering & System Safety

Year:

2019

File:

PDF, 24.33 MB

2019

2

[IEEE 2020 IEEE/AIAA 39th Digital Avionics Systems Conference (DASC) - San Antonio, TX, USA (2020.10.11-2020.10.15)] 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) - Assured Integration of Machine Learning-based Autonomy on Aviation Platforms

Asaadi, Erfan, Beland, Steven, Chen, Alexander, Denney, Ewen, Margineantu, Dragos, Moser, Matthew, Pai, Ganesh, Paunicka, James, Stuart, Douglas, Yu, Huafeng

Year:

2020

File:

PDF, 1.06 MB

2020

3

[IEEE 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Las Vegas, NV, USA (2017.1.8-2017.1.11)] 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - A programmable SDN+NFV-based architecture for UAV telemetry monitoring

White, Kyle J. S., Denney, Ewen, Knudson, Matt D., Mamerides, Angelos K., Pezaros, Dimitrios P.

Year:

2017

Language:

english

File:

PDF, 910 KB

english, 2017

4

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Extending Source Code Generators for Evidence-Based Software Certification

Denney, Ewen, Fischer, Bernd

Year:

2006

Language:

english

File:

PDF, 681 KB

english, 2006

5

[IEEE 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - London, United Kingdom (2018.9.23-2018.9.27)] 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - Towards a Rigorous Basis for Specific Operations Risk Assessment of UAS

Denney, Ewen, Pai, Ganesh, Johnson, Marcus

Year:

2018

Language:

english

File:

PDF, 1.34 MB

english, 2018

6

Preface: Special Issue on Nasa Formal Methods Symposium 2009

Ewen Denney, Dimitra Giannakopoulou, Corina S. Păsăreanu

Journal:

Innovations in Systems and Software Engineering

Year:

2010

Language:

english

File:

PDF, 55 KB

english, 2010

7

The Role of Safety Architectures in Aviation Safety Cases

Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Journal:

Reliability Engineering & System Safety

Year:

2019

Language:

english

File:

PDF, 24.33 MB

english, 2019

8

[American Institute of Aeronautics and Astronautics 17th AIAA Aviation Technology, Integration, and Operations Conference - Denver, Colorado ()] 17th AIAA Aviation Technology, Integration, and Operations Conference - Making a Risk Informed Safety Case for Small Unmanned Aircraft System Operations

Clothier, Reece, Denney, Ewen, Pai, Ganesh J.

Language:

english

File:

PDF, 4.80 MB

english

9

[ACM Press the 7th international conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08 - Generating customized verifiers for automatically generated code

Denney, Ewen, Fischer, Bernd

Year:

2008

Language:

english

File:

PDF, 349 KB

english, 2008

10

Simply-typed underdeterminism

Journal:

Journal of Computer Science and Technology

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

11

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Denney, Ewen, Fischer, Bernd

Year:

2009

Language:

english

File:

PDF, 2.66 MB

english, 2009

12

Editorial

Denney, Ewen, Stevens, Perdita, Wąsowski, Andrzej

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

13

Correctness of Java card method lookup via logical relations

Ewen Denney, Thomas Jensen

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

14

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Dynamic Safety Cases for Through-Life Safety Assurance

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

15

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2011 - St. Louis, Missouri ()] Infotech@Aerospace 2011 - Building Heterogeneous Safety Cases for Automatically Generated Code

Denney, Ewen, Fischer, Bernd, Basir, Nurlida

Year:

2011

Language:

english

File:

PDF, 427 KB

english, 2011

16

[IEEE 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Pasadena, CA, USA (2009.07.19-2009.07.23)] 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology - Generating Code Review Documentation for Auto-Generated Mission-Critical Software

Denney, Ewen, Fischer, Bernd

Year:

2009

Language:

english

File:

PDF, 1.58 MB

english, 2009

17

Automating the Assembly of Aviation Safety Cases

Denney, Ewen, Pai, Ganesh

Journal:

IEEE Transactions on Reliability

Year:

2014

Language:

english

File:

PDF, 2.10 MB

english, 2014

18

Tool support for assurance case development

Denney, Ewen, Pai, Ganesh

Journal:

Automated Software Engineering

Year:

2017

Language:

english

File:

PDF, 10.70 MB

english, 2017

19

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - 1st International workshop on assurance cases for software-intensive systems (ASSURE 2013)

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim, Kelly, Tim, Knight, John

Year:

2013

Language:

english

File:

PDF, 160 KB

english, 2013

20

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Formal Foundations for Hierarchical Safety Cases

Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

21

AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION

DENNEY, EWEN, FISCHER, BERND, SCHUMANN, JOHANN

Journal:

International Journal of Artificial Intelligence Tools

Year:

2006

Language:

english

File:

PDF, 652 KB

english, 2006

22

[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal

Denney, Ewen, Pai, Ganesh, Pohl, Josef

Year:

2012

File:

PDF, 548 KB

2012

23

Hiproofs: A Hierarchical Notion of Proof Tree

Ewen Denney, John Power, Konstantinos Tourlas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 351 KB

english, 2006

24

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - ARgument-based airworthiness assurance of small UAS

Denney, Ewen, Pai, Ganesh

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

25

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)

Denney, Ewen, Fischer, Bernd

Year:

2006

Language:

english

File:

PDF, 136 KB

english, 2006

26

[IEEE 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Evidence arguments for using formal methods in software certification

Denney, Ewen, Pai, Ganesh

Year:

2013

Language:

english

File:

PDF, 4.75 MB

english, 2013

27

[IEEE 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Colorado Springs, CO, USA (2014.10.5-2014.10.9)] 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Assuring ground-based detect and avoid for UAS operations

Denney, Ewen, Pai, Ganesh, Berthold, Randall, Fladeland, Matthew, Storms, Bruce, Sumich, Mark

Year:

2014

File:

PDF, 8.56 MB

2014

28

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

Nurlida Basir, Ewen Denney, Bernd Fischer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 218 KB

english, 2009

29

[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Automatic Generation of Certifiable Space Communication Software

Schumann, Johann, Denney, Ewen

Year:

2007

Language:

english

File:

PDF, 8.40 MB

english, 2007

30

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Software certificate management (SoftCeMent'05)

Denney, Ewen, Fischer, Bernd, Hutter, Dieter, Jones, Mark

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

31

[IEEE 2011 5th International Symposium on Empirical Software Engineering and Measurement (ESEM) - Banff, AB, Canada (2011.09.22-2011.09.23)] 2011 International Symposium on Empirical Software Engineering and Measurement - Towards Measurement of Confidence in Safety Cases

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

32

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Perspectives on software safety case development for unmanned aircraft

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

33

[IEEE 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS) - Austin, TX (2017.9.17-2017.9.22)] 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Model-Driven Development of Safety Architectures

Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Year:

2017

Language:

english

File:

PDF, 2.70 MB

english, 2017

34

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - A generic annotation inference algorithm for the safety certification of automatically generated code

Denney, Ewen, Fischer, Bernd

Year:

2006

Language:

english

File:

PDF, 200 KB

english, 2006

35

Tactics for Hierarchical Proof

David Aspinall, Ewen Denney, Christoph Lüth

Journal:

Mathematics in Computer Science

Year:

2010

Language:

english

File:

PDF, 1.41 MB

english, 2010

36

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems

Denney, Ewen, Pai, Ganesh, Ippolito, Corey, Lee, Ritchie

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

37

[IEEE 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Colorado Springs, CO, USA (2014.10.5-2014.10.9)] 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Assuring ground-based detect and avoid for UAS operations

Denney, Ewen, Pai, Ganesh, Berthold, Randall, Fladeland, Matthew, Storms, Bruce, Sumich, Mark

Year:

2014

Language:

english

File:

PDF, 559 KB

english, 2014

38

[IEEE 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Sacramento, CA, USA (2016.9.25-2016.9.29)] 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Safety considerations for UAS ground-based detect and avoid

Denney, Ewen, Pai, Ganesh

Year:

2016

Language:

english

File:

PDF, 1.85 MB

english, 2016

39

A framework for testing first-order logic axioms in program verification

Ki Yung Ahn, Ewen Denney

Journal:

Software Quality Journal

Year:

2013

Language:

english

File:

PDF, 3.49 MB

english, 2013

40

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Formal Safety Certification of Auto-Generated Aerospace Software [invited]

Denney, Ewen, Fischer, Bernd

Year:

2005

Language:

english

File:

PDF, 669 KB

english, 2005

41

[IEEE 2008 IEEE Aerospace Conference - Big Sky, MT, USA (2008.03.1-2008.03.8)] 2008 IEEE Aerospace Conference - A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

Denney, Ewen, Trac, Steven

Year:

2008

Language:

english

File:

PDF, 613 KB

english, 2008

42

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Argument-based airworthiness assurance of small UAS

Denney, Ewen, Pai, Ganesh

Year:

2015

Language:

english

File:

PDF, 4.08 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски